RecordPattern0.agda:2,6-14
Cannot split on argument of non-datatype Set
when checking that the pattern record {} has type Set
